LSB - Live and Safe B Alternative semantics for Event B
نویسندگان
چکیده
We define two lifted, total relation semantics for Event B machines: Safe B for safety-only properties and Live B for liveness properties. The usual Event B proof obligations, Safe, are sufficient to establish Safe B refinement. Satisfying Safe plus a simple additional proof obligation ACT REF is sufficient to establish Live B refinement. The use of lifted, total relations both prevents the ambiguity of the unlifted relational semantics and prevents operations being clairvoyant.
منابع مشابه
Garlic: An Alternative to Antibiotics in Poultry Production, A Review
In last decade, the uncontrolled use of antibiotics as growth promoter for livestock has led to the appearance of antibiotic-resistant pathogens and increased risk of infectious diseases. This situation has triggered intensive research efforts to find safe alternative strategies. Certainly, the plants and vegetables and their derivatives as natural safe substances could be good candidates in th...
متن کاملEmbedding the free-choice semantics of AND/XOR-EPCs into the Boolean semantics
Abstract. Each Event-driven Process Chain (EPC) translates into a free-choice system if its control flow branches and joins only at ANDor XOR-connectors. This free-choice system defines the free-choice semantics of the AND/XOR-EPC. But free-choice systems are not capable to deal with OR-connectors. Therefore a general EPC with OR-connectors obtains a semantics not until it has been translated i...
متن کاملEffect of Different Live Foods Source (Culex Larvae, Chironomus Larvae and Artemia) on Pigmentation of Electric Yellow (Labidochromis Caeruleus)
The orange-red spectrum of the skin of electric yellow (Labidochromis caeruleus) is one of the idealistic and necessary schemas sought by aquarists and commercial producers. In this study, the effect of live foods meal on the skin coloration of juvenile electric yellow was examined. 270 fish with an average living body weight was 0.42 ± 0.11 g, and average total length was 3...
متن کاملEffect of Different Live Foods Source (Culex Larvae, Chironomus Larvae and Artemia) on Pigmentation of Electric Yellow (Labidochromis Caeruleus)
The orange-red spectrum of the skin of electric yellow (Labidochromis caeruleus) is one of the idealistic and necessary schemas sought by aquarists and commercial producers. In this study, the effect of live foods meal on the skin coloration of juvenile electric yellow was examined. 270 fish with an average living body weight was 0.42 ± 0.11 g, and average total length was 3...
متن کاملEffect of Different Live Foods Source (Culex Larvae, Chironomus Larvae and Artemia) on Pigmentation of Electric Yellow (Labidochromis Caeruleus
The orange-red spectrum of the skin of electric yellow (Labidochromis caeruleus) is one of the idealistic and necessary schemas sought by aquarists and commercial producers. In this study, the effect of live foods meal on the skin coloration of juvenile electric yellow was examined. 270 fish with an average living body weight was 0.42 ± 0.11 g, and average total length was 3...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006